Dirk Brouwer

Heyting-Brouwer Rough Set Logic

A rough set logic based on Heyting-Brouwer algebras HBRSL is proposed as a basis for reasoning about rough information. It is an extension of Düntsch’s logic with intuitionistic implication, and is seen as a variant of HeytingBrouwer logic. A Kripke semantics and natural deduction for the logic are presented and the completeness theorem is proved.

Dirk Bergemann † Alessandro Bonatti

A monopolist sells informative experiments to heterogeneous buyers who face a decision problem. Buyers differ in their prior information, and hence in their willingness to pay for additional signals. The monopolist can profitably offer a menu of experiments. Even under costless acquisition and degrading of information, the optimal menu is quite coarse. The seller offers at most two experiments,...

Nicole Brass , Dirk Heckel

With the rapid advances in tumor genetics, an increasing number of amplifications have been identified in various human neoplasms (4). Examples of oncogenes amplified in tumors include N-myc and HER-2/neu, which have been proposed as prognostic markers in neuroblastoma and breast cancer, respectively (5,7). To date, most of the information on the amplification of genes has been gathered from co...

Dirk Zeller Æ Shawn Booth

Fisheries catches from Pacific Island coral reefs are rarely recorded in official statistics. Reconstruction of catch estimates with limited hard data requires interpolation and assumptions, justifiable only by the unsatisfactory alternative of continued substitution of zero catches, a common policy interpretation for ‘no data’. Uncertainties associated with reconstructions are high, requiring ...

Kant's Influence on Brouwer